Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
621	34 c W.C Carter MITFall 2007 Lecture 4 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:31:32 Computer algebra systems Cross-platform software Mathematica Numerical software Wolfram Research Number Function Exponentiation Polynomial Mathematics Mathematical software Science
622	Nearly Optimal Verifiable Data Streaming Johannes Krupp1 , Dominique Schr¨ oder1 , Mark Simkin1 , Dario Fiore2 , Giuseppe Ateniese3,4 , and Stefan Nuernberger1 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-20 09:30:26 Abstract algebra Linear algebra Cryptography Theoretical computer science Vector space Vehicle Identification Number Matrix Ciphertext indistinguishability Algorithm Algebra Mathematics Vectors
623	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-26 11:29:50 Semantics Boolean algebra Predicate logic Propositional calculus FO Predicate Quantification Interpretation Negation Logic Mathematical logic Mathematics
624	IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOL. 12, NO. 4, Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2007-05-16 19:41:24 Triangles Barycentric coordinate system Linear algebra Simplex Rasterisation Tetrahedron Polygon Graphics pipeline Tessellation Geometry 3D computer graphics Affine geometry
625	Towards Distributed Heterogenous High-Performance Computing with ViennaCL Josef Weinbub1 , Karl Rupp1,2 , and Siegfried Selberherr1 1 2 Add to Reading List Source URL: www.iue.tuwien.ac.at Language: English - Date: 2012-05-29 06:13:35 Graphics hardware Parallel computing Video cards Nvidia OpenCL CUDA Graphics processing unit Message Passing Interface Basic Linear Algebra Subprograms Computing Computer hardware GPGPU
626	Limits and Applications of Group Algebras for Parameterized Problems∗ Ioannis Koutis Computer Science Department U. of Puerto Rico, Rio Piedras Add to Reading List Source URL: ccom.uprrp.edu Language: English - Date: 2013-03-05 13:51:43 Polynomials Homogeneous polynomials Monomial XTR Polynomial FO Elementary symmetric polynomial Polynomial ring Mathematics Algebra Abstract algebra
627	Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-04-26 08:07:47 Logic in computer science Programming language semantics Model theory Structure Universal algebra Operational semantics 3APL Ω-consistent theory Algorithm characterizations Theoretical computer science Mathematical logic Mathematics
628	Absoft & Visual Numerics Announce IMSL Fortran Numerical Library for Parallel Development On Multi-core Linux, Windows and Mac OS X Systems Rochester Hills, MI., February 10, Absoft(R) Corporation and Visual Numer Add to Reading List Source URL: www.absoft.com Language: English - Date: 2013-05-29 09:32:42 Numerical software Array programming languages Functional languages PV-Wave Computer algebra systems Rogue Wave Software Fortran OpenMP Numerical analysis Software Computing Mathematical software
629	Frontal View Human Face Detection and Recognition L. S. Balasuriya and Dr. N. D. Kodikara Department of Statistics and Computer Science, University of Colombo, Sri Lanka ABSTRACT This paper is about an attempt to unravel Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2003-03-17 08:09:37 Mathematics Artificial intelligence Eigenface Face detection Facial recognition system Template matching Segmentation Face Eigenvalues and eigenvectors Face recognition Algebra Image processing
630	Zonohedra and Zonotopes David Eppstein* Dept. of Information & Computer Science U.C. Irvine, CA, 92717 http://www.ics.uci.edu/~eppstein/ Tech. Report 95-53 Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 1999-09-16 21:00:19 Zonohedra Space-filling polyhedra Platonic solids Quasiregular polyhedra Deltahedra Zonohedron Rhombic dodecahedron Octahedron Cube Geometry Algebra Convex geometry

UPDATE